nested normal form

巢套正规格式